#include<stdio.h>
int main()
{
    //freopen("in.txt","r",stdin);
    int s;
    scanf("%d",&s);
    printf("%d:%d:%d",(s/3600)%24,(s - (s/3600)*3600)/60,s%60);
}